Model theory for Cp-theorists

Complex Cobordism Theory for Number Theorists

The purpose of this paper is to give the algebraic topological background for elliptic cohomology theory and to pose some number theoretic problems suggested by these concepts. Algebraic topologists study functors from the category of spaces to various algebraic categories. In particular there are functors to the category of graded rings called multiplicative generalized cohomology theories. (A...

The Theory Grid and Grid Theorists

This paper proposes a novel research direction: to build the Theory Grid as cooperatively shared formal theories within a virtual organization, and then to implement Grid Theorists as the wisdom of crowds working based on the Theory Grid such that the grid theorists have the ability to find new theorems and propose new questions semi-automatically.

A Guide to Random Matrix Theory for Number Theorists

Actuality for Counterpart Theorists

The counterpart theorist has a problem: there is no obvious way to understand talk about actuality in terms of counterparts. Fara and Williamson have charged that this obstacle cannot be overcome. Here I defend the counterpart theorist by offering systematic interpretations of a quantified modal language that includes an actuality operator. Centrally, I disentangle the counterpart relation from...

A Gentle Introduction to Von Neumann Algebras for Model Theorists

1. Topologies on B(H) and the double commutant theorem 2 2. Examples of von Neumann algebras 5 2.1. Abelian von Neumann algebras 6 2.2. Group von Neumann algebras and representation theory 6 2.3. The Hyperfinite II1 factor R 9 3. Projections, Type Classification, and Traces 10 3.1. Projections and the spectral theorem 10 3.2. Type classification of factors 12 3.3. Traces 13 4. Tracial ultrapowe...